Statistics and Runtime Verification
نویسندگان
چکیده
The importance of correctness of systems is becoming more crucial as computers control more of our everyday activities. Various approaches have been advocated and used for the verification of such correctness, with one of the more promising ones being runtime verification. One important issue in runtime verification is the logic used to specify properties, since this influences both the overheads induced by the monitors, and the applicability of the approach to a particular domain. In this paper we propose techniques for the expression and runtime monitoring of statistical properties, enabling easier manipulation and expression of non-functional requirements. The logic is developed as an extension of the existing runtime verification tool LARVA, and has been applied to an ftp server implementation, adding a new layer of probabilistic intrusion detection and system profiling.
منابع مشابه
LarvaStat: Monitoring of Statistical Properties
Execution paths expose non-functional information such as system reliability and performance, which can be collected using runtime verification techniques. Statistics gathering and evaluation can be very useful for processing such information for areas ranging from performance profiling to user modelling and intrusion detection. In this paper, we give an overview of LarvaStat — a runtime verifi...
متن کاملAchieving Adaptation for Adaptive Systems via Runtime Verification: A Model-Driven Approach
Institute of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences, Haidian Dstr., Beijing 100190, P. R. China Key Laboratory of High Confidence Software Technologies (MoE), Peking University, Haidian Dstr., Beijing 100871, P. R. China Software Engineering Dept., College of Computer Science and Information Technology, Guangxi Normal University, Guilin, Guangxi 541...
متن کاملFoundations of Boolean Stream Runtime Verification (Extended Version)
Stream runtime verification (SRV), pioneered by the tool LOLA, is a declarative approach to specify synchronous monitors. In SRV, monitors are described by specifying dependencies between output streams of values and input streams of values. The declarative nature of SRV enables a separation between (1) the evaluation algorithms, and (2) the monitor storage and its individual updates. This sepa...
متن کاملEstimating Event Lifetimes for Distributed Runtime Verification
Runtime system verification has been proposed as a form of dynamic verification of software systems which can be applied in settings where complete static verification or exhaustive system testing is not practical. Runtime verification checks properties against runtime events generated during the operation of a system. Current approaches to runtime verification assume that runtime events are ti...
متن کامل